منابع مشابه
Relatively Hyperimmune Relations on Structures
Let R be a relation on the domain of a computable structure A. We establish that the existence of an isomorphic copy B ofA such that the image of R (¬R, resp.) is h-simple (h-immune, resp.) relative to B is equivalent to a syntactic condition, termed R is formally h-simple (formally h-immune, resp.) on A.
متن کاملComputing relatively large algebraic structures by automated theory exploration
Automated reasoning technology provides means for inference in a formal context via a multitude of disparate reasoning techniques. Combining different techniques not only increases the effectiveness of single systems but also provides a more powerful approach to solving hard problems. Consequently combined reasoning systems have been successfully employed to solve non-trivial mathematical probl...
متن کاملExchangeable and partially exchangeable random partitions
Call a random partition of the positive integers partially exchangeable if for each finite sequence of positive integers n l , . . . , nk, the probability that the partition breaks the first nl + . . . § nk integers into k particular classes, of sizes nl . . . . , nk in order of their first elements, has the same value p(na . . . . . nk) for every possible choice of classes subject to the sizes...
متن کاملExchangeable equilibria
The main contribution of this thesis is a new solution concept for symmetric games (of complete information in strategic form), the exchangeable equilibrium. This is an intermediate notion between symmetric Nash and symmetric correlated equilibrium. While a variety of weaker solution concepts than correlated equilibrium and a variety of refinements of Nash equilibrium are known, there is little...
متن کاملExchangeable Measures for Subshifts
Let Ω be a Borel subset of SN where S is countable. A measure is called exchangeable on Ω, if it is supported on Ω and is invariant under every Borel automorphism of Ω which permutes at most finitely many coordinates. De-Finetti’s theorem characterizes these measures when Ω = SN. We apply the ergodic theory of equivalence relations to study the case Ω 6= SN, and obtain versions of this theorem ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2018
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2017.61